definite integral with trig and u substitution